$\forall$$f$:(Realizer$\rightarrow$Realizer), $A$:Realizer. Rtransform($f$;$A$) $\in$ Realizer